构件组装和组装推导(compositional reasoning)是CBSE的关键技术.基于软件构件的特点,借鉴进程代数中进程构造的方法,提出6种构件组装机制,能够灵活、简便地集成软件构件,并主张...
基于12个网页-相关网页
Furthermore, port composition and six component composition mechanisms as well as their compositional reasoning algorithms are provided to support hierarchical configurations of software architecture effectively.
提出端口组装和六种构件组装机制及相应的组装推导算法,以有效支持体系结构层次化配置。
参考来源 - 基于π演算的软件体系结构形式化研究·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐